Search Results
[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany
Interactive Proofs in Higher-Order Concurrent Separation Logic
[POPL 2021] A Separation Logic for Effect Handlers (full)
A Separation Logic for Concurrent Randomized Programs
Iris tutorial POPL 2021
[POPL'22] Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimiz
[POPL 2021] A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis (full)
A6.C — Concurrent separation logic meets template games
6.826 Fall 2020 Lecture 16: Concurrent separation logic, Iris
5 Higher Order Functions Q&A
Specifying Concurrent Programs in Separation Logic: Morphisms and Simulations
Instantiating the Iris program logic for a new language: a tutorial
![[POPL 2021] PLMW: "Reasoning in Higher-Order Concurrent Separation Logic" by Amin Timany](https://img.youtube.com/vi/JlR0gavV7Ps/hqdefault.jpg)
![[POPL 2021] A Separation Logic for Effect Handlers (full)](https://img.youtube.com/vi/Zqyu0LPbBb8/hqdefault.jpg)
![[POPL'22] Simuliris: A Separation Logic Framework for Verifying Concurrent Program Optimiz](https://img.youtube.com/vi/P4_FHYWnEzQ/hqdefault.jpg)
![[POPL 2021] A Unifying Type-Theory for Higher-Order (Amortized) Cost Analysis (full)](https://img.youtube.com/vi/WmTTP25QHzg/hqdefault.jpg)
